x86: Disable VCPUOP_register_vcpu_time_memory_area.

Its implementation is buggy and causes memory corruption.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c
index 0ead1a1985b139d1cc22ef2381910ea5ab6fbeeb..d20487f8d952ed7933a2762e904b0b6e4050850c 100644 (file)
--- a/xen/arch/x86/domain.c
+++ b/xen/arch/x86/domain.c
@@ -970,6 +970,11 @@ arch_do_vcpu_op(
         break;
     }
 
+    /*
+     * XXX Disable for 4.0.0: __update_vcpu_system_time() writes to the given
+     * virtual address even when running in another domain's address space.
+     */
+#if 0
     case VCPUOP_register_vcpu_time_memory_area:
     {
         struct vcpu_register_time_memory_area area;
@@ -988,6 +993,7 @@ arch_do_vcpu_op(
 
         break;
     }
+#endif
 
     case VCPUOP_get_physid:
     {